<html><body>The plugin manager.</body></html>
